Resolution and refutation method: Examples